discharge a workman